منابع مشابه
Speed Up, Slow Down or Both? Investigating the Contemporary Cities
Speed as a crucial phenomenon of modernism affects individual and collective life of human being and changes the traits of the places people live in. Increasing speed is the demand of the modern era, though on the other side in recent years there is a contrary incline towards slowing down different aspects of life. In view of this, the dualities in between social features of Speed up and slow d...
متن کاملOn Computational Speed-Up
Let J? be any effective mapping from total functions on the integers to total functions. Composition and iterated composition are examples of such mappings. The "operator speed-up theorem in this paper establishes the existence of a computable function f such that for any program computing f(x) in Pj(x) steps for all x, there is another program computing f(x) in p 0(x) steps and F(p 0) < palmos...
متن کاملQuantum Speed-up of Computations
1. The Physical Church-Turing Thesis. Physicists often interpret the Church-Turing Thesis as saying something about the scope and limitations of physical computing machines. Although this was not the intention of Church or Turing, the Physical Church Turing thesis is interesting in its own right. Consider, for example, Wolfram's formulation: One can expect in fact that universal computers are a...
متن کاملSpeed-up techniques for simulation
Due to increased complexity and extreme quality of service requirements, traditional means for performance evaluation of telecom networks do not always suffice. The most flexible approach has been, and still is, simulation, which is the main focus of this paper. However, severe problems regarding efficiency exist, e.g. evaluation of ATM cell loss rate in range of <10-9 which is very computer in...
متن کاملSpeed - up Transformations of Logic
This paper presents a formal framework for the automatic transformation of ineecient generate and test programs into equivalent programs by learning from the proofs of example queries. In the resulting program the search is guided by strategies based on abstracted proof traces obtained from the interpretation of example computations. Strategies are incre-mentally improved in an iterative proces...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Experimental Biology
سال: 2006
ISSN: 1477-9145,0022-0949
DOI: 10.1242/jeb.02220